necessary vs contingent